function main() {
    printf("%i\n", CHAR_BIT: Int);
}
